Incremental DFA minimisation

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Incremental DFA Minimisation

We present a new incremental algorithm for minimising deterministic finite automata. It runs in quadratic time for any practical application and may be halted at any point, returning a partially minimised automaton. Hence, the algorithm may be applied to a given automaton at the same time as it is processing a string for acceptance. We also include some experimental comparative results.

متن کامل

A Polynomial Time Incremental Algorithm for Learning DFA

We present an e cient incremental algorithm for learning deterministic nite state automata DFA from labeled examples and membership queries This algorithm is an extension of Angluin s ID pro cedure to an incremental framework The learning algorithm is inter mittently provided with labeled examples and has access to a knowl edgeable teacher capable of answering membership queries The learner con...

متن کامل

A Polynominal Time Incremental Algorithm for Learning DFA

We present an efficient incremental algorithm for learning deterministic finite state automata (DFA) from labeled examples and membership queries. This algorithm is an extension of Angluin’s ID procedure to an incremental framework. The learning algorithm is intermittently provided with labeled examples and has access to a knowledgeable teacher capable of answering membership queries. The learn...

متن کامل

Incremental Learning in the Energy Minimisation Framework for Interactive Segmentation

In this article we propose a method for parameter learning within the energy minimisation framework for segmentation. We do this in an incremental way where user input is required for resolving segmentation ambiguities. Whereas most other interactive learning approaches focus on learning appearance characteristics only, our approach is able to cope with learning prior terms; in particular the P...

متن کامل

Synchronization of some DFA

A word w is called synchronizing (recurrent, reset, directable) word of deterministic finite automaton (DFA) if w brings all states of the automaton to an unique state. Černy conjectured in 1964 that every nstate synchronizable automaton possesses a synchronizing word of length at most (n− 1). The problem is still open. It will be proved that the minimal length of synchronizing word is not grea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: RAIRO - Theoretical Informatics and Applications

سال: 2014

ISSN: 0988-3754,1290-385X

DOI: 10.1051/ita/2013045